翻訳と辞書 Words near each other ・ Barwick-in-Elmet ・ Barwick-in-Elmet Castle ・ Barwickia ・ Barwick–LaFayette Airport ・ Barwidgee, Victoria ・ Barwik ・ Barwiki ・ Barwin domain ・ Barwinek, Podkarpackie Voivodeship ・ Barwinek, Łódź Voivodeship ・ Barwing ・ Barwinners ・ Barwino ・ Barwiny ・ Barwis ・ Barwise compactness theorem ・ Barwise prize ・ Barwise, Texas ・ Barwon ・ Barwon Catchment Victoria ・ Barwon Downs ・ Barwon Football Club ・ Barwon Heads Airport ・ Barwon Heads Bridge ・ Barwon Heads Football Club ・ Barwon Heads, Victoria ・ Barwon Health ・ Barwon Highway ・ Barwon River ・ Barwon River (New South Wales) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Barwise compactness theorem ： ウィキペディア英語版 Barwise compactness theorem In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages. It was stated and proved by Barwise in 1967. ==Statement of the theorem== Let $A$ be a countable admissible set. Let $L$ be an $A$-finite relational language. Suppose $\backslash Gamma$ is a set of $L\_A$-sentences, where $\backslash Gamma$ is a $\backslash Sigma\_1$ set with parameters from $A$, and every $A$-finite subset of $\backslash Gamma$ is satisfiable. Then $\backslash Gamma$ is satisfiable. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Barwise compactness theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.